- idUS
- Listar por autor
Listar por autor "Trinidad Martín Arroyo, Pablo"
Mostrando ítems 1-20 de 56
-
Ponencia
A First Step Towards a Framework for the Automated Analysis of Feature Models
Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2006)Feature modelling is a common mechanism for variability management in the context of software product lines. After years ...
-
Ponencia
A Survey on the Automated Analyses of Feture Models
Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo; Segura Rueda, Sergio (2006)Feature models are one of the most important assets in software product line engineering when capturing variability. ...
-
Ponencia
A Taxonomy of Variability in Web Service Flows
Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007)The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ...
-
Ponencia
Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?
Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2009)In the automated analysis feature models (AAFM), many operations have been defined to extract relevant information to ...
-
Ponencia
An Architectural Discussion on DSPL
Carlos Cetina, Carlos; Pelechano, Vicent; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2008)Dynamic Software Product Line (DSPL) engineering has proved itself as an efficient way to deal with run-time product ...
-
Artículo
An Overview of Dynamic Software Product Line Architectures and Techniques: Observations from Research and Industry
Capilla Sevilla, Rafael; Bosch, Jan; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Hinchey, Michael G. (Elsevier, 2014)Over the last two decades, software product lines have been used successfully in industry for buildingfamilies of systems ...
-
Ponencia
Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas
Trinidad Martín Arroyo, Pablo; Resinas Arias de Reyna, Manuel; Müller Cejás, Carlos; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (AENUI: Asociación de Enseñantes Universitarios de Informática, 2011) -
Artículo
Automated analysis of feature models: Quo vadis?
Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Gutiérrez Fernández, Antonio Manuel; Ruiz Cortés, Antonio (Springer, 2018)Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a ...
-
Capítulo de Libro
Automated Analysis of Stateful Feature Models
Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe (Springer, 2013)In CAiSE 2005, we interpreted the extraction of relevant information from extended feature models as an automated reasoning ...
-
Artículo
Automated configuration support for infrastructure migration to the cloud
García Galán, Jesús; Trinidad Martín Arroyo, Pablo; Rana, Omer F.; Ruiz Cortés, Antonio (Elsevier, 2016)With an increasing number of cloud computing offerings in the market, migrating an existing computational infrastructure ...
-
Ponencia
Automated Diagnosis of Feature Model Configurations
White, Jules; Schmidt, Douglas C.; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2011)Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ...
-
Artículo
Automated Diagnosis of Feature Model Configurations
White, Jules; Benavides Cuevas, David Felipe; Schmidt, Douglas C.; Trinidad Martín Arroyo, Pablo; Dougherty, Brian; Ruiz Cortés, Antonio (Elsevier, 2010)Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. ...
-
Ponencia
Automated Diagnosis of Product-line Configuration Errors in Feature Models
White, Jules; Schmidt, Douglas C.; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (IEEE Computer Society, 2008)Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ...
-
Artículo
Automated Error Analysis for the Agilization of Feature Modeling
Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Durán Toro, Amador; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Elsevier, 2008) -
Ponencia
Automated Merging of Feature Models using Graph Transformations
Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007)Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In ...
-
Ponencia
Automated reasoning on feature models
Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2005)Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL ...
-
Tesis Doctoral
Automating the analysis of stateful feature models
Trinidad Martín Arroyo, Pablo (2012-12-10)El modelado de la variabilidad es una de las principales tareas en el desarrollo de l´ıneas de productos software (LPS). ...
-
Ponencia
Automating the deployment of componentized systems
García Galán, Jesús; Trinidad Martín Arroyo, Pablo; Capilla Sevilla, Rafael (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012)Embedded and self-adaptive systems demand continuous adap- tation and reconfiguration activities based on changing quality ...
-
Tesis Doctoral
Automating the support of highly-configurable services
García-Galán, Jesús (2015-06-10)Las crecientes capacidades de configuración de los servicios, especialmente en el cloud, han dado lugar a los así llamados ...
-
Ponencia
BETTY: Benchmarking and Testing on the Automated Analysis of Feature Models
García-Galán, Jesús; Trinidad Martín Arroyo, Pablo (2012)The automated analysis of feature models is a flourishing research topic that has called the attention of both researchers ...